An Independence Theorem for Ntp2 Theories
نویسندگان
چکیده
We establish several results regarding dividing and forking in NTP2 theories. We show that dividing is the same as array-dividing. Combining it with existence of strictly invariant sequences we deduce that forking satisfies the chain condition over extension bases (namely, the forking ideal is S1, in Hrushovski’s terminology). Using it we prove an independence theorem over extension bases (which, in the case of simple theories, specializes to the ordinary independence theorem). As an application we show that Lascar strong type and compact strong type coincide over extension bases in an NTP2 theory. We also define the dividing order of a theory – a generalization of Poizat’s fundamental order from stable theories – and give some equivalent characterizations under the assumption of NTP2. The last section is devoted to a refinement of the class of strong theories and its place in the classification hierarchy.
منابع مشابه
Lascar strong types and forking in NIP theories
This is an updated and slightly expanded version of a tutorial given in the Mini-Course in Model Theory, Torino, February 9-11, 2011. Some parts were previously exposed in the Model Theory Seminar of Barcelona. The main goals were to clarify the relation of forking with some versions of splitting in NIP theories and to present the known results on G-compactness, including a full proof of a theo...
متن کاملForking and dividing in NTP₂ theories
We prove that in theories without the tree property of the second kind (which include dependent and simple theories) forking and dividing over models are the same, and in fact over any extension base. As an application we show that dependence is equivalent to bounded forking assuming NTP2.
متن کاملGeneric trivializations of geometric theories
We study the theory T ∗ of the structure induced by parameter free formulas on a dense algebraically independent subset of a model of a geometric theory T . We show that while being a trivial geometric theory, T ∗ inherits most of the model theoretic complexity of T related to stability, simplicity, rosiness, NIP and NTP2. In particular, we show that T is strongly minimal, supersimple of SU-ran...
متن کاملConsistent Amalgamation for Þ-forking Alf Onshuus and Clifton Ealy
This result follows straight from the geometric properties of þ-forking and it is nowhere near the independence theorem (which we will call “independent amalgamation”) one has in simple theories. In [?], Kim proved that the only independence relation satisfying symmetry, local character, transitivity and the independence theorem was forking in a simple theory; since there are well known example...
متن کاملInterpreting the Monadic Second Order Theory of One Successor in Expansions of the Real Line
We give sufficient conditions for a first order expansion of the real line to define the standard model of the monadic second order theory of one successor. Such an expansion does not satisfy any of the combinatorial tameness properties defined by Shelah, such as NIP or even NTP2. We use this to deduce the first general results about definable sets in NTP2 expansions of (R, <,+). The goal of th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Log.
دوره 79 شماره
صفحات -
تاریخ انتشار 2014